More from this Author

Formal Description Techniques and Protocol Specification, Testing and Verification

by Chapman and Hall Staff, Teruo Higashino, Tadanori Mizuno, Norio Shiratori, Atsushi Togashi

Formal Description Techniques and Protocol Specification, Testing and Verification

by Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino